let space = fun n m ->
  let rec o = fun i r s ->
  if i>s then r
  else o (i+1) (r*i) s in
  o (m+1) m (n+m-1);;

